VISTA: VPO Interactive System for Tuning Applications PRASAD KULKARNI, WANKANG ZHAO, STEPHEN HINES, DAVID WHALLEY, XIN YUAN, ROBERT VAN ENGELEN and KYLE GALLIVAN Computer Science Department, Florida State University JASO

Source URL: www.cs.fsu.edu

• Compiler construction
• Compiler optimizations
• Programming language implementation
• Compiler
• Inline expansion
• Code generation
• Static single assignment form
• Program optimization
• Intermediate language
• Software engineering
• Computing
• Computer programming

Micro Reading with Priors: Towards Second Generation Machine Readers Tom M. Mitchell Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA, 15213

Source URL: www.akbc.ws

• Syntax
• Grammar
• Compiler construction
• Parsing
• Word-sense disambiguation
• Preposition and postposition
• Treebank
• Adpositional phrase
• Sentence processing
• Linguistics
• Computational linguistics
• Semantics

Tree SSA A New Optimization Infrastructure for GCC Diego Novillo Red Hat Canada, Ltd. Abstract

Source URL: gcc.cybermirror.org

• Compiler construction
• Compiler optimizations
• Programming language implementation
• Cross-platform software
• Procedural programming languages
• Static single assignment form
• GNU Compiler Collection
• Constant folding
• Compiler
• Software engineering
• Computing
• Software

Optimizing for Space: Measurements and Possibilities for Improvement Árpád Beszédes, Tamás Gergely, Tibor Gyimóthy, Gábor Lóki, and László Vidács Research Group on Artificial Intelligence University of Szeged

Source URL: gcc.cybermirror.org

• Compilers
• Programming language implementation
• C programming language
• Cross compiler
• GNU Compiler Collection
• GNU Binutils
• Library
• C
• Aliasing
• Software
• Computing
• Compiler construction

Today’s Big Adventure Linking as our first naming system • Naming is a very deep theme that comes up everywhere • Naming system: maps names to values

Source URL: www.scs.stanford.edu

• Compiler construction
• Memory management
• Programming language implementation
• C++
• A.out
• Library
• Relocation
• Static library
• Data segment
• Computing
• Software
• Computer programming

Verified Compilers for a Multi-Language World∗ Amal Ahmed Northeastern University Abstract

Source URL: www.ccs.neu.edu

• Type theory
• Procedural programming languages
• Compiler construction
• Cross-platform software
• Functional languages
• LLVM
• Type system
• Compiler
• Type safety
• Software engineering
• Computing
• Programming language theory

Reprinted from Proceedings of the 2011 ACM Symposium on Principles of Programming Languages (POPL’11) Resourceable, Retargetable, Modular Instruction Selection Using a Machine-Independent, Type-Based Tiling of Low-Lev

Source URL: www.cs.tufts.edu

• Software engineering
• Instruction set architectures
• Instruction selection
• Code generation
• ALGOL 68
• Intermediate language
• Hamming weight
• ARM architecture
• Programming language theory
• Computing
• Compiler construction

Test-Case Reduction for C Compiler Bugs John Regehr Yang Chen Pascal Cuoq

Source URL: www.cs.utah.edu

• Programming language implementation
• Compilers
• Debugging
• Data types
• Compiler construction
• Software bug
• GNU Compiler Collection
• Undefined behavior
• Compilation error
• Computing
• Software engineering
• Computer programming

Rapid Case Dispatch in Scheme William D Clinger Northeastern University Abstract

Source URL: schemeworkshop.org

• Procedural programming languages
• Compiler construction
• Lisp programming language
• Cross-platform software
• Functional languages
• Scheme
• Lisp
• Compiler
• ALGOL 68
• Software engineering
• Computing
• Programming language theory

COMPUTER SCIENCE TRIPOS Part IB – 2012 – Paper 3 4 Compiler Construction (DJG) (a) Define the following terms used when discussing a grammar: (i ) a non-terminal symbol

Source URL: www.cl.cam.ac.uk